#!/bin/bash -f

# run serment a bunch of times and print something from the output

# ILU(LEVEL)
LEVEL='0' # 1 2 3 4'
NUMIT=20

for p in $LEVEL
do

echo " level p=$p "
echo " iaea "
for i in {1..20}
do
    ./serment inputs/iaea_global_large.xml > iaeaout
    grep "PI     Time" iaeaout
    grep " Server Time" iaeaout
done
echo " biblis "
for i in {1..20}
do
    ./serment inputs/biblis_global_large.xml  > biblisout
    grep "PI     Time" biblisout
    grep " Server Time" biblisout
done
echo " koeberg "
for i in {1..20}
do
    ./serment inputs/koeberg_global_large.xml  > koebergout
    grep "PI     Time" koebergout 
    grep " Server Time" koebergout
done
done
